p(e0, e0).
p(e1, e1).
p(e2, e2).
p(e3, e3).
p(e4, e4).
p(e5, e5).
p(e6, e6).
p(e7, e7).
p(e8, e8).
p(e9, e9).
p(e10, e10).
p(e11, e11).
p(e12, e12).
p(e13, e13).
p(e14, e14).
p(e15, e15).
p(e16, e16).
p(e17, e17).
p(e18, e18).
p(e19, e19).
p(e20, e20).
p(e21, e21).
p(e22, e22).
p(e23, e23).
p(e24, e24).
p(e25, e25).
p(e26, e26).
p(e27, e27).
p(e28, e28).
p(e29, e29).
p(e30, e30).
p(e31, e31).
p(e32, e32).
